281. Tits buildings and the model theory of groups

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Buildings (Group theory) ; Group theory. ;

282. Tits buildings and the model theory of groups

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Buildings )Group theory(,، Group theory

رده :
QA
174
.
2
.
T5
2002

283. Topological model theory

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Topological spaces,، Model theory

رده :
QA
611
.
3
.
F55
1980

284. Topological model theory

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Topological spaces,، Model theory

رده :
QA
3
.
L28
no
.
769

285. Topological model theory

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Topological spaces,، Model theory

رده :
QA
3
.
L28
no
.
769

286. Topological model theory

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Topological spaces,، Model theory

رده :
QA
3
.
L28
Vol
.
769

287. Using Model Theory in Phonology:

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Linguistics,Mathematics

288. Using Model Theory in Phonology: A Novel Characterization of Syllable Structure and Syllabification

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Linguistics,Mathematics

289. Using R for item response theory model applications

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Item response theory. ; R (Computer program language) ; Item response theory. ; fast ; R (Computer program language) ; fast ;

290. Using R for item response theory model applications /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Item response theory.,R (Computer program language),Item response theory.,PSYCHOLOGY / Research & Methodology,PSYCHOLOGY / Statistics,R (Computer program language),SOCIAL SCIENCE / Research

رده :
BF39
.
2
.
I84
P43
2020

291. What logics mean : from proof theory to model-theoretic semantics

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic,، Semantics,، Logic, Symbolic and mathematical

رده :
BC
71
.
G37W45

292. classical logics, model theory, and computability-Non

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Nonclassical mathematical logic ; Congresses. ; Model theory ; Congresses. ; Computable functions ; Congresses. ;

293. text analysis in translation theory,methodology,and didactic application of a model for translation-oriented text analysis

پدیدآورنده :

کتابخانه: (کرمان)

رده :
P
306
.
2
.
N67
2005

294. theoretic approach to proof theory /-A model

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Proof theory. ;